$P$ $\Rightarrow$ $Q$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$P$$\rightarrow$$Q$